theme: Make solid borders look better

As pointed out by Alberts Muktupāvels, without this,
we are missing the inner edge of the frame.

diff --git a/gtk/theme/Default/_common.scss b/gtk/theme/Default/_common.scss
index 2e6dade4ddc7285742a58b9643b00f2e059341ab..709a9bd61c7712aae3a8660c33d47f5a32b76800 100644 (file)
--- a/gtk/theme/Default/_common.scss
+++ b/gtk/theme/Default/_common.scss
@@ -4075,9 +4075,9 @@ window {
     padding: 4px;
     border: solid 1px $borders_color;
     border-radius: 0;
-    box-shadow: inset 0 0 0 3px $headerbar_bg_color, inset 0 1px $top_hilight;
+    box-shadow: inset 0 0 0 4px $borders_color, inset 0 0 0 3px $headerbar_bg_color, inset 0 1px $top_hilight;
 
-    &:backdrop { box-shadow: inset 0 0 0 3px $backdrop_bg_color, inset 0 1px $top_hilight; }
+    &:backdrop { box-shadow: inset 0 0 0 4px $borders_color, inset 0 0 0 3px $backdrop_bg_color, inset 0 1px $top_hilight; }
   }
 
   &.maximized,